Nuprl Lemma : multiply_nat_wf 13,42

ij:. (i * j  
latex


Upint 2, int 2
Definitionst  T, , x:AB(x), i  j , False, A, A  B, P  Q,
Lemmasnat wf, le wf, ge wf, nat properties

origin